Reactive Systems
----------------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [Software Engineering](../Software%20Engineering/README.md#software-engineering)_

- - - -


### Papers

Statecharts (online @ [www.inf.ed.ac.uk](https://www.inf.ed.ac.uk/teaching/courses/seoc/2005_2006/resources/statecharts.pdf)) ★★★ [💭](commentary/Chris%20Pressey.md#statecharts)

State Machines for Event-Driven Systems (online @ [barrgroup.com](https://barrgroup.com/embedded-systems/how-to/state-machines-event-driven-systems)) ★★★ [💭](commentary/Chris%20Pressey.md#state-machines-for-event-driven-systems)

Misunderstandings about state machines (online @ [www.stateworks.com](https://www.stateworks.com/active/download/wagf04-2-state-machine-misunderstandings.pdf)) ★★★ [💭](commentary/Chris%20Pressey.md#misunderstandings-about-state-machines)

[Embedded State Machine Implementation, 12/2000](https://www.state-machine.com/doc/Gomez-ESP2000.pdf) ★ [💭](commentary/Chris%20Pressey.md#embedded-state-machine-implementation-12-2000)

_(in [Programming Languages](../Programming%20Languages/README.md#programming-languages))_ Synchronous Functional Programming: The Lucid Synchrone Experiment (online @ [www.di.ens.fr](https://www.di.ens.fr/~pouzet/bib/chap_lucid_synchrone_english_iste08.pdf))


### Books

Synchronous Programming of Reactive Systems (online @ [web.archive.org](https://web.archive.org/web/20240413191204/http://www-verimag.imag.fr/~halbwach/newbook.pdf)) ★ [💭](commentary/Chris%20Pressey.md#synchronous-programming-of-reactive-systems)